@book{trefethen1997numerical,
  title={Numerical linear algebra},
  author={Trefethen, L.N. and Bau, D.},
  year={1997}
}

@book{Bazaraa2004,
 author = {Bazaraa, M. S. and Jarvis, J. J. and Sherali, H. D.},
 title = {Linear Programming and Network Flows},
 year = {2004},
 publisher = {Wiley-Interscience}
} 

@article{DavisRTSL07,
  author    = {R. I. Davis and
               A. Burns and
               R. J. Bril and
               J. J. Lukkien},
  title     = {Controller Area Network {(CAN)} schedulability analysis: {R}efuted, revisited and revised},
  journal   = {Real-Time Systems},
  volume    = {35},
  number    = {3},
  year      = {2007},
  pages     = {239-272},
}

@inproceedings{JansenTCS02,
  author    = {K. Jansen and
               H. Zhang},
  title     = {Approximation Algorithms for General Packing Problems with Modified Logarithmic Potential Function},
  booktitle = {International Conference on Theoretical Computer Science},
  year      = {2002}
   }
   
@Misc{FR,
  key =		 {FlexRay},
  title =	 {{The {F}lex{R}ay Communications System Specifications, Ver. 2.1}},
  howpublished = {\url{www.flexray.com}}
}

@Misc{FRIF,
  key =		 {AUTOSAR},
  title =	 {{Specification of FlexRay Interface,
                  Ver. 3.2}},
  howpublished = {\url{www.autosar.org}}
}

@inproceedings{Fuchs,
  author    = {E. Fuchs},
  title     = {{FlexRay} beyond the consortium phase},
  booktitle = {FLEXRAY, Special Edition Hanser automotive},
  year      = {2010}
}

@inproceedings{AsadiT06,
  author    = {H. Asadi and
               M. B. Tahoori},
  title     = {Soft error hardening for logic-level designs},
  booktitle = {International Symposium on Circuits and Systems},
  year      = {2006}
}


@inproceedings{Lattner04,
 author = {Lattner, C. and Adve, V.},
 title = {LLVM: A Compilation Framework for Lifelong Program Analysis \& Transformation},
 booktitle = {International Symposium on Code Generation and Optimization},
 year = {2004},
} 

@inproceedings{Garg2006,
 author = {Garg, R. and Jayakumar, N. and Khatri, S. P. and Choi, G.},
 title = {A design approach for radiation-hard digital electronics},
 booktitle = {DAC},
 year = {2006},
} 

@article{Polian2010,
 author = {I. Polian and J. P. Hayes and S. M. Reddy and B. Becker},
 title = {Modeling and Mitigating Transient Errors in Logic Circuits},
 journal = {IEEE Trans. on Dependable and Secure Computing},
 year = {2010},
}

@inproceedings{Sheng2009,
 author = {Sheng, W. and Xiao, L. and Mao, Z.},
 title = {Soft error optimization of standard cell circuits based on gate sizing and multi-objective genetic algorithm},
 booktitle = {DAC},
 year = {2009}
} 

@article{Rao2009,
 author = {Rao, R. R. and Joshi, V. and Blaauw, D. and Sylvester, D.},
 title = {Circuit optimization techniques to mitigate the effects of soft errors in combinational logic},
 journal = {ACM Trans. Des. Autom. Electron. Syst.},
 volume = {15},
 issue = {1},
 year = {2009}
} 


@inproceedings{Li2009,
 author = {Li, T. and Sun, Z. and Jigang, W. and Lu, X.},
 title = {Fast enumeration of maximal valid subgraphs for custom-instruction identification},
 booktitle = {CASES},
 year = {2009}
} 

@inproceedings{Atasu2008,
 author = {Atasu, K. and Mencer, O. and Luk, W. and Ozturan, C. and Dundar, G.},
 title = {Fast custom instruction identification by convex subgraph enumeration},
 booktitle = {CODES+ISSS},
 year = {2008},
} 


@article{Bonzini2008,
 author = {Bonzini, P. and Pozzi, L.},
 title = {Recurrence-aware instruction set selection for extensible embedded processors},
 journal = {IEEE Trans. Very Large Scale Integr. Syst.},
 volume = {16},
 issue = {10},
 year = {2008}
 } 


@article{Verma2010,
 author = {Verma, A. K. and Brisk, P. and Ienne, P.},
 title = {Fast, nearly optimal {ISE} identification with {I/O} serialization through maximal clique enumeration},
 journal = {IEEE Trans. Comp.-Aided Des. Integ. Cir. Sys.},
 volume = {29},
 issue = {3},
 year = {2010},
 pages = {341--354}
} 

@article{GrigoriadisOR1996,
 author = {Grigoriadis, M. D. and Khachiyan, L. G.},
 title = {Coordination complexity of parallel price-directive decomposition},
 journal = {Math. Oper. Res.},
 volume = {21},
 issue = {2},
  year = {1996},
 numpages = {20},
}

@inproceedings{Atasu2007,
 author = {Atasu, K. and Dimond, R. G. and Mencer, O. and Luk, W. and \"{O}zturan, C. and D\"{u}ndar, G.},
 title = {Optimizing instruction-set extensible processors under data bandwidth constraints},
 booktitle = {DATE},
 year = {2007},
 location = {Nice, France}
} 

@article{Xie07,
 author = {Xie, Y. and Li, L. and Kandemir, M. and Vijaykrishnan, N. and Irwin, M. J.},
 title = {Reliability-aware Co-synthesis for Embedded Systems},
 journal = {J. VLSI Signal Process. Syst.},
 volume = {49},
 issue = {1},
 year = {2007},
 pages = {87--99},
 numpages = {13},
 }



@article{Mu09,
 author = {Mu, J. and Lysecky, R.},
 title = {Autonomous hardware/software partitioning and voltage/frequency scaling for low-power embedded systems},
 journal = {ACM Trans. Des. Autom. Electron. Syst.},
 volume = {15},
 issue = {1},
 year = {2009},
 pages = {2:1--2:20},
}

@inproceedings{Dave97,
 author = {Dave, B. P. and Lakshminarayana, G. and Jha, N. K.},
 title = {COSYN: hardware-software co-synthesis of embedded systems},
 booktitle = {DAC},
 year = {1997}
}

@article{Huynh07,
 author = {H. P. Huynh and  J. E. Sim and  T. Mitra },
 title = {An efficient framework for dynamic reconfiguration of instruction-set customization},
 journal = {ACM Trans. Des. Autom. Electron. Syst.},
 volume = {13},
 number = {1-2},
 year = {2009}
 }

@inproceedings{Li00,
 author = {Li, Y. and Callahan, T. and Darnell, E. and Harr, R. and Kurkure, U. and Stockwood, J.},
 title = {Hardware-software co-design of embedded reconfigurable architectures},
 booktitle = {DAC},
 year = {2000}
}

@inproceedings{GlassLSHT07,
  author    = {M. Gla{\ss} and
               M. Lukasiewycz and
               T. Streichert and
               C. Haubelt and
               J. Teich},
  title     = {Reliability-aware system synthesis},
  booktitle = {DATE},
  year      = {2007}
}

@inproceedings{TosunMAKXH05,
  author    = {S. Tosun and
               N. Mansouri and
               E. Arvas and
               M. T. Kandemir and
               Y. Xie and
               Wei-Lun Hung},
  title     = {Reliability-Centric Hardware/Software Co-Design},
  booktitle = {International Symposium on Quality Electronic Design},
  year      = {2005},
}

@article{DaveJ99,
  author    = {B. P. Dave and
               N. K. Jha},
  title     = {COFTA: Hardware-Software Co-Synthesis of Heterogeneous Distributed
               Embedded Systems},
  journal   = {IEEE Trans. Computers},
  volume    = {48},
  number    = {4},
  year      = {1999},
  pages     = {417-441},
}

@article{Lesea05,
 author = {Lesea, A. and    Drimer, S. and    Fabula, J.J. and    Carmichael, C. and    Alfke, P.},
 title = {The {R}osetta experiment: atmospheric soft error rate testing in differing technology {FPGA}s},
 journal = {IEEE Trans. Device and Materials Reliability},
 volume = {5},
 number = {3},
 year = {2005},
  pages = {317--328}
}



@inproceedings{YuDAC04,
 author = {Yu, P. and Mitra, T.},
 title = {Characterizing embedded applications for instruction-set extensible processors},
 booktitle = {DAC},
 year = {2004}
}

@inproceedings{Mukherjee03,
 author = {Mukherjee, S. S. and Weaver, C. and Emer, J. and Reinhardt, S. K. and Austin, T.},
 title = {A Systematic Methodology to Compute the Architectural Vulnerability Factors for a High-Performance Microprocessor},
 booktitle = {MICRO},
 year = {2003}
 }

@article{Asadi07,
 author = {Asadi, H. and Tahoori, M. B.},
 title = {Analytical techniques for soft error rate modeling and mitigation of {FPGA}-based designs},
 journal = {IEEE Trans. Very Large Scale Integr. Syst.},
 volume = {15},
 number = {12},
 year = {2007},
  pages = {1320--1331}
}


@inproceedings{Aidemark01,
 author = {Aidemark, J. and Vinter, J. and Folkesson, P. and Karlsson, J.},
 title = {GOOFI: Generic Object-Oriented Fault Injection Tool},
 booktitle = {DSN},
 year = {2001}
}

@article{Borodin09,
 author = {Borodin, D. and Juurlink, B. H. and Hamdioui, S. and Vassiliadis, S.},
 title = {Instruction-Level Fault Tolerance Configurability},
 journal = {Journal of Signal Processing Systems},
 volume = {57},
 number = {1},
 year = {2009},
 }

@article{ReisMicro07,
 author = {Reis, G. A. and Chang, J. and August, D. I.},
 title = {Automatic Instruction-Level Software-Only Recovery},
 journal = {IEEE Micro},
 volume = {27},
 number = {1},
 year = {2007},
 pages = {36--47},
}


@article{panYuThesis, 
Author = "P. Yu",
title = "Design methodologies for instruction-set extensible processors",
journal = "PhD Thesis, Computer Science Department, National University of Singapore", 
year = "January 2009"
}

@BOOK{CLPBook,
 author = "K. R. Apt and M. G. Thiran",
 title = {Constraint Logic Programming using $ECL^iPS^e$},
 publisher = "Cambridge University Press",
 year = 2007
}

@inproceedings{AllSAT,
 author = {S. Safarpour, A. Veneris and R. Drechsler},
 title = {Integrating Observability Don't Cares in All-Solution SAT Solvers},
 booktitle = {Proc. ISCAS.},
 year = {2006}
}

@Misc{ourTool,
  howpublished = {\url{OmittedForBlindReview}}
  }


@Misc{Relsat,
  key =		 {Relsat},
  title =	 {{Relsat 2.1,}},
  howpublished = {\url{www.bayardo.org/resources.html}}
  }

@inproceedings{Shazli08,
 author = {Shazli, S. Z. and Tahoori, M. B.},
 title = {Obtaining Microprocessor Vulnerability Factor Using Formal Methods},
 booktitle = {Int'l Symposium on Defect and Fault Tolerance of VLSI Systems},
 year = {2008}
}


@InProceedings{Nielsen07,
  author = 	 {J. Nielsen, A. Hamdan and H. P. Schwefel },
  title = 	 {MARKOV CHAIN-BASED PERFORMANCE EVALUATION OF {F}LEX{R}AY DYNAMIC SEGMENT},
  booktitle = 	 {International Workshop on Real Time Networks},
  year =	 2007
}
@inproceedings{Andrei07,
  author    = {A. Hagiescu and
               U. D. Bordoloi and
               S. Chakraborty and
               P Sampath and
               P. V. V. Ganesan and
               S. Ramesh},
  title     = {Performance Analysis of {FlexRay-based} {ECU} Networks},
  booktitle = {DAC},
  year      = {2007},
}

@inproceedings{Lukasiewycz2009,
 author = {Lukasiewycz, M. and Gla\ss, M. and Teich, J. and Milbredt, P.},
 title = {FlexRay schedule optimization of the static segment},
 booktitle = {CODES+ISSS},
 year = {2009},
 } 


@inproceedings{Schneider2011,
  author    = {R. Schneider and D. Goswami and S. Chakraborty and U. D. Bordoloi and P. Eles and Z. Peng},
  title     = {On the Quantification of Sustainability and Extensibility of {FlexRay}},
  booktitle = {DAC},
  year      = {2011},
}

@inproceedings{BordoloiHCM09,
  author    = {U. D. Bordoloi and
               H. P. Huynh and
               S. Chakraborty and
               T. Mitra},
  title     = {Evaluating design trade-offs in customizable processors},
  booktitle = {DAC},
  year      = {2009},
}


@inproceedings{isegen,
 author = {P. Biswas and S. Banerjee and N. Dutt and L. Pozzi and P. Ienne},
 title = {{ISEGEN}: {A}n iterative improvement-based {ISE} generation technique for fast customization of processors},
 booktitle = {IEEE TVLSI},
 year={2006},
 }
 
@inproceedings{tao,
 author = {Li, T. and Sun, Z. and Jigang, W. and Lu, X.},
 title = {Fast enumeration of maximal valid subgraphs for custom-instruction identification},
 booktitle = {CASES},
 year = {2009},
 }
@inproceedings{verma,
 author = {A. K. Verma and P. Brisk and P. Ienne},
 title = {Rethinking custom {ISE} identification: {A} new processor-agnostic method},
 booktitle = {CASES},
 year = {2007}
 }
@inproceedings{atasuASAP,
 author = {K. Atasu and O. Mencer and W. Luk and C. Ozturan and G. Dundar},
 title = {Fast custom instruction identification by convex subgraph enumeration},
 booktitle={ASAP},
 year={2008},
 }
 
@BOOK{CLPBook,
 author = "K. R. Apt and M. G. Thiran",
 title = {Constraint Logic Programming using $ECL^iPS^e$},
 publisher = "Cambridge University Press",
 year = 2007
}

@TechReport{Kop04,
  author =   {H. Kopetz, R. Obermaisser, P. Peti, and N. Suri},
  title =    {From a Federated to an Integrated Architecture for Dependable Embedded Systems},
  institution =  {Technische Universit\"at Wien},
  year =     2004,
  number =   {22},
}

@ARTICLE{pozzicad,
title={Exact and approximate algorithms for the extension of embedded processor instruction sets},
author={Pozzi, L. and Atasu, K. and Ienne, P.},
journal={IEEE TCAD},
year={2006},
month={July },
volume={25},
number={7},
}

@ARTICLE{Baumann05, 
title={Radiation-induced soft errors in advanced semiconductor technologies}, 
author={R.C.Baumann},
volume={5}, 
number={3}, 
journal={IEEE Transactions on Device and Materials Reliability}, 
year={2005}, 
pages={305-316}
}


@inproceedings{Fei1,
 author = {F. Sun and S. Ravi and A. Raghunathan and N. K. Jha},
 title = {A Scalable Application-Specific Processor Synthesis Methodology},
 booktitle={ICCAD},
 year={2003},
}
@Misc{IEC61508,
  key =		 {IEC61508},
  title =	 {{Functional safety of
electrical/electronic/
programmable electronic
safety-related systems,
                  IEC61508}},
  howpublished = {\url{http://www.iec.ch/}}
}
@misc{xpres,
key = {Tensilica},
title = {Tensilica - {XPRES} {C}ompiler - {O}ptimized {H}ardware {D}irectly from {C}. www.tensilica.com/products/devtools/hw\_dev/xpres/},
}
@Book{GJ79,
  author =	 {M.R. Garey and D.S. Johnson},
  title = 	 {Computers and Intractability: A Guide to the Theory of NP-Completeness},
  publisher = 	 {W.H. Freeman and Company, New York},
  year = 	 1979
}
@inproceedings{UDBSC07,
  author    = {U. D. Bordoloi and
               S. Chakraborty},
  title     = {Performance Debugging of Real-Time Systems using Multicriteria Schedulability Analysis},
  booktitle = {IEEE Real-Time and Embedded Technology and Applications Symposium},
  year      = {2007},

}

@misc{trimaran,
key = {Trimaran},
title = {Trimaran: An Infrastructure for Research in
Backend Compilation and Architecture Exploration. http://www.trimaran.org},
}

@misc{wcetbench,
author = {F. Stappert},
title = {{WCET} Benchmarks. http://www.c-lab.de/home/en/download.html},
}

@inproceedings{mibench,
author = "M. R. Guthaus and others",
title = "MiBench: A Free, Commercially Representative Embedded Benchmark Suite",
booktitle = "IEEE Annual Workshop on Workload Characterization",
year = "2001",
}

@inproceedings{media,
 author = {C. Lee and M. Potkonjak and W. H. Mangione-Smith},
 title = {MediaBench: a tool for evaluating and synthesizing multimedia and communicatons systems},
 booktitle = {MICRO},
 year = {1997},
}

@inproceedings{bozini-date07,
 author = {P. Bonzini and L. Pozzi},
 title = {Polynomial-time subgraph enumeration for automated instruction set extension},
 booktitle = {DATE},
 year = {2007},
  }

@INPROCEEDINGS{ atasu-asap08,
booktitle	= {ASAP},
year = {2008},
title		= {{Fast Custom Instruction Identification by Convex Subgraph Enumeration}},
author		= {K. Atasu and O. Mencer and W. Luk and C. Ozturan and G. Dundar},
}

@inproceedings{verma-cases07,
 author = {A. K. Verma and P. Brisk and P. Ienne},
 title = {Rethinking custom ISE identification: a new processor-agnostic method},
 booktitle = {CASES},
 year = {2007}
 }

@inproceedings{panyu1,
   author = "P. Yu and T. Mitra",
   title = "Scalable Custom Instructions Identification for Instruction-Set Extensible Processors",
   booktitle = "CASES",
   year = "2004"
}

@inproceedings{panyu2,
   author = "P. Yu and T. Mitra",
   title = "Satisfying Real-Time Constraints with Custom Instructions",
   booktitle = "CODES+ISSS",
   year = "2005"
}

@inproceedings{huynh,
   author = "H. P. Huynh and T. Mitra",
   title = "Instruction-Set Customization for Real-Time Systems",
   booktitle = "DATE",
   year = "2007"
}

@inproceedings{arnold2,
author = "J. M. Arnold",
title =  "S5: {T}he Architecture and Development Flow of a Software Configurable Processor",
booktitle = "FPT",
year = 2005,
}

@misc{NIOS,
author = "{Altera Corp.}",
title = {Nios Processor Reference Handbook},
}


@article{Xtensa,
   author =   "R. E. Gonzalez",
   title =   "Xtensa: {A} configurable and extensible processor",
   journal =   "Micro",
   volume = "20",
   number = "2",
   year =   "2000",
}

@misc{arc,
title = "Customizing a Soft Microprocessor Core",
author = "{ARC International}",
}

@inproceedings{Lx,
   author =   "P. Faraboschi and others",
   title =   "Lx: {A} technology platform for customizable {VLIW} embedded processing",
   booktitle =   "ISCA",
   year =   "2000",
}

@Book{TBS06,
  author =	 {V. T'kindt  and J. C. Billaut and H. Scott},
  title = 	 {Multicriteria Scheduling : Theory, Models and Algorithms},
  publisher = 	 {Springer-Verlag},
  year = 	 2006
}

@Article{LTDZ02,
  author = 	 {M. Laumanns and L. Thiele and K. Deb and E. Zitzler},
  title = 	 {Combining Convergence and Diversity in Evolutionary Multiobjective Optimization},
  journal = 	 {Evolutionary Computation},
  year = 	 2002,
  volume =	 10,
  number =	 3,
  pages =	 {263--282}
}

@InProceedings{BB01,
  author = 	 {G. Bernat and A. Burns},
  title = 	 {Three obstacles to flexible scheduling},
  booktitle = 	 {Euromicro Conference on Real-Time Systems (ECRTS)},
  year =	 2001
}

@Book{Deb01,
  author =	 {K. Deb},
  title = 	 {Multi-Objective Optimization Using Evolutionary Algorithms},
  publisher = 	 {John Wiley \& Sons},
  year = 	 2001
}

@Proceedings{EMO,
  title = 	 {Proc. Third International Conference on Evolutionary Multi-Criterion Optimization},
  year = 	 2005,
  editor =	 {C. A. C. Coello and A. Hern{\'a}ndez Aguirre and E. Zitzler},
  publisher =	 {Lecture Notes in Computer Science 3410, Springer-Verlag}
}

@InProceedings{BN05,
  author = 	 {E. Bini and M. Di Natale},
  title = 	 {Optimal Task Rate Selection in Fixed Priority Systems},
  booktitle = 	 {IEEE Real-Time Systems Symposium (RTSS)},
  year =	 2005
}

@InProceedings{CKTRTSS02,
  author = 	 {S. Chakraborty and S. K{\"u}nzli and L. Thiele},
  title = 	 {Approximate Schedulability Analysis},
  booktitle = 	 {IEEE Real-Time Systems Symposium, RTSS},
  year =	 2002
}

@InProceedings{AS04,
  author = 	 {K. Albers and F. Slomka},
  title = 	 {An Event Stream Driven Approximation for the Analysis of Real-Time Systems},
  booktitle = 	 {In Euromicro Conference on Real-Time Systems, ECRTS},
  year =	 2004
}

@InProceedings{FB05,
  author = 	 {N. Fisher and S. Baruah},
  title = 	 {A polynomial-time approximation scheme for feasibility analysis in static-priority systems with arbitrary relative deadlines},
  booktitle = 	 {Proceedings of the Euromicro Conference on Real-Time Systems},
  address = {Porto, Portugal},
  publisher = {IEEE Computer Society},
  year =	 2005
}

@InProceedings{G02,
  author = 	 {M.I. {Gordon {\em et al.}}},
  title = 	 {A stream compiler for communication-exposed architectures},
  booktitle = 	 {Proceedings of International Conference on
Architectural Support for Programming Languages and Operating Systems},
  year =	 2002
}

@InProceedings{TKA02,
  author = 	 {W. Thies and M. Karczmarek and S. Amarasinghe},
  title = 	 {Stream{It}: A Language for Streaming Applications},
  booktitle = 	 {Proceedings of International Conference on Compiler Construction},
  year =	 2002,
  series =	 {LNCS 2304}
}

@InProceedings{MKCT04a,
  author = 	 {A. Maxiaguine and  S. K\"unzli and S. Chakraborty and L. Thiele},
  title = 	 {Rate Analysis for Streaming Applications with On-chip Buffer Constraints},
  booktitle = 	 {Proceedings of Asia and South Pacific Design Automation Conference},
  year =	 2004
}

@Article{Cru91,
  author = 	 {R. Cruz},
  title = 	 {A Calculus for Network Delay, {P}arts 1 \& 2},
  journal = 	 {IEEE Transactions on Information Theory},
  year = 	 1991,
  volume =	 37,
  number =	 1
}

@BOOK{LT01,
 author = "J.-Y. {Le Boudec} and P. Thiran",
 title = {Network Calculus - A Theory of Deterministic Queuing
 Systems for the Internet},
 publisher = "LNCS 2050, Springer",
 year = 2001
 }


@Article{MCKT04b,
  author = 	 {A. Maxiaguine and S. Chakraborty and S. K\"unzli and L. Thiele},
  title = 	 {Evaluating Schedulers for Multimedia Processing on Buffer-Constrained SoC Platforms},
  journal = 	 {IEEE Design \& Test of Computers},
  year = 	 2004,
  month =	 {Sep-Oct}
}

@Book{Hoch97,
  editor =	 {D.S. Hochbaum},
  title = 	 {Approximation Algorithms for NP-Hard Problems},
  publisher = 	 {PWS Publishing Company},
  address =	 {Boston},
  year = 	 1997
}

@TechReport{CEKT02a,
  author = 	 {S. Chakraborty and T. Erlebach and S. K\"unzli and L. Thiele},
  title = 	 {Schedulability of Event-Driven Code Blocks in Real-Time Embedded Systems},
  institution =  {ETH Z\"urich},
  year = 	 2002,
  number =	 {TIK  130}
}

@TechReport{CET01a,
  author = 	 {S. Chakraborty and Erlebach, T. and L. Thiele},
  title = 	 {On the Complexity of Scheduling Conditional Real-Time Code},
  institution =  {ETH Z\"urich},
  year = 	 2001,
  number =	 {TIK  107}

}

@InProceedings{CEKT02b,
  author = 	 {S. Chakraborty and T. Erlebach and S. K\"unzli and L. Thiele},
  title = 	 {Schedulability of Event-Driven Code Blocks in Real-Time Embedded Systems},
  booktitle = 	 {Proceedings of the Design Automation Conference},
  publisher = {ACM},
  address = { New Orleans, USA},
  year =	 2002
}

@Article{PPEPA08,
  author = 	 {T. Pop and P. Pop and P. Eles and Z. Peng and A. Andrei},
  title = 	 {Timing Analysis of the {F}lex{R}ay Communication Protocol},
  journal = 	 {Real-Time Systems},
  year =	 2008,
  volume =	 39,
  pages =	 {205--235}
}

@inproceedings{ZengGN10,
  author    = {H. Zeng and
               A. Ghosal and
               M. D. Natale},
  title     = {Timing Analysis and Optimization of {FlexRay} Dynamic Segment},
  booktitle = {International Conference on Computer and Information
               Technology},
  year      = {2010},
}

@inproceedings{SchmidtS10a,
  author    = {K. Schmidt and
               E. G. Schmidt},
  title     = {Schedulability Analysis and Message Schedule Computation
               for the Dynamic Segment of {FlexRay}},
  booktitle = {Vehicular Technology Conference},
  year      = {2010}
}

@inproceedings{SchneiderBGC10,
  author    = {R. Schneider and
               U. D. Bordoloi and
               D. Goswami and
               S. Chakraborty},
  title     = {Optimized Schedule Synthesis under Real-Time Constraints
               for the Dynamic Segment of {FlexRay}},
  booktitle = {International Conference on Embedded and Ubiquitous
               Computing},
               year = 2010
}

@InProceedings{CET01b,
  author =       {S. Chakraborty and Erlebach, T. and L. Thiele},
  title =        {On the Complexity of Scheduling Conditional Real-Time Code},
  booktitle =    {Proceedings of the International Workshop on Algorithms and Data Structures},
  publisher = {Springer},
  address = {Rhode Island, USA},
  series    = {Lecture Notes in Computer Science},
  volume    = {2125},
  year =         2001
}


@Article{BLMV98,
  author = 	 {F. Balarin and L. Lavagno and P. Murthy and A. Sangiovanni-Vincentelli},
  title = 	 {Scheduling of Embedded Real-Time Systems},
  journal = 	 {IEEE Design and Test of Computers},
  month =        {January-March},
  pages =        {71--82},
  year = 	 1998
}

@InProceedings{EKPPD98,
  author = 	 {P. Eles {\em et al.}},
  title = 	 {Scheduling of Conditional Process Graphs for the Synthesis of Embedded Systems},
  booktitle = 	 {Proc. Design, Automation and Test in Europe},
  year =	 1998
}


@InProceedings{PEP00,
  author = 	 {P. Pop and P. Eles and Z. Peng},
  title = 	 {Performance Estimation for Embedded Systems with Data and Control Dependencies},
  booktitle = 	 {Proc. 8th International Workshop on Hardware/Software Codesign},
  year =	 2000
}

@InProceedings{PEZ00,
  author = 	 {P. Pop and P. Eles and Z. Peng},
  title = 	 {Schedulability Analysis for Systems with Data and Control Dependencies},
  booktitle = 	 {Proceedings of Euromicro Conference on Real-Time Systems},
  year =	 2000
}

@InProceedings{SM95,
  author = 	 {Y-T.S. Li and S. Malik},
  title = 	 {Performance Analysis of Embedded Software Using Implicit Path Enumeration},
  booktitle = 	 {Proc. 32nd ACM DAC},
  year =	 1995
}


@InProceedings{CB95,
  author = 	 {P. Chou and G. Borriello},
  title = 	 {Interval Scheduling: Fine-Grained Code Scheduling for Embedded Systems},
  booktitle = 	 {Proc. 32nd ACM DAC},
  year =	 1995
}


@InProceedings{ATB93,
  author = 	 {N.C. Audsley and Tindell, K.W. and A. Burns},
  title = 	 {The end of the line for static cyclic scheduling?},
  booktitle = 	 {Proceedings of Euromicro Conference on Real-Time Systems},
  year =	 1993,
  address =	 {Finland},
  publisher =	 {IEEE Computer Society Press}
}

@Book{But97,
  author =	 {G.C. Buttazzo},
  title = 	 {Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications},
  publisher = 	 {Kluwer Academic Publishers},
  year = 	 1997,
  address =	 {Boston}
}

@Article{BRH90,
  author = 	 {S. Baruah and Howell, R.R. and L.E. Rosier},
  title = 	 {Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor},
  journal = 	 {Real-Time Systems},
  year = 	 1990,
  pages =        {301--324},
  volume =	 2
}

@InProceedings{TS97,
  author = 	 {H. Takada and K. Sakamura},
  title = 	 {Schedulability of generalized multiframe task sets under static priority assignment},
  booktitle = 	 {Proceedings of the International Workshop on Real-Time Computing Systems and Applications},
  publisher = {IEEE Computer Society},
  address = {Taipei, Taiwan},
  year =	 1997
}

@InProceedings{Baruah90,
  author = 	 {S. Baruah and Mok, A.K. and L.E. Rosier},
  title = 	 {Preemptively Scheduling Hard-Real-Time Sporadic Tasks on One Processor},
  booktitle = 	 {RTSS},
  year =	 1990
}

@PhdThesis{Mok83,
  author = 	 {A.K. Mok},
  title = 	 {Fundamental Design Problems of Distributed Systems for the Hard-Real-Time Environment},
  school = 	 {Laboratory for Computer Science, MIT},
  year = 	 1983,
  note =         {Available as Technical Report No. MIT/LCS/TR-297}
}



@Article{MC97,
  author = 	 {A.K. Mok and D. Chen},
  title = 	 {A multiframe model for real-time tasks},
  journal = 	 {IEEE Transactions on Software Engineering},
  year = 	 1997,
  volume =	 23,
  number =	 10,
  pages =	 {635--645}
}

@InProceedings{MC96,
  author = 	 {A.K. Mok and D. Chen},
  title = 	 {A multiframe model for real-time tasks},
  booktitle = 	 {Proc. 17th Real-Time Systems Symposium},
  year =	 1996,
  publisher =	 {IEEE Computer Society Press}
}

@Article{BCGM99,
  author = 	 {S. Baruah and Chen, D. and Gorinsky, S. and A.K. Mok},
  title = 	 {Generalized multiframe tasks},
  journal = 	 {Real-Time Systems},
  year = 	 1999,
  volume =	 17,
  number =	 1,
  pages =	 {5-22}
}

@InProceedings{Bar98a,
  author = 	 {S. Baruah},
  title = 	 {Feasibility analysis of recurring branching tasks},
  booktitle = 	 {Proceedings of the Euromicro Workshop on Real-Time Systems},
  publisher = {IEEE Computer Society},
  address = {Berlin, Germany},
  year =	 1998
}

@InProceedings{Bar98b,
  author = 	 {S. Baruah},
  title = 	 {A general model for recurring real-time tasks},
  booktitle = 	 {Proceedings of the IEEE Real-Time Systems Symposium},
  publisher = {IEEE Computer Society},
  address = {Madrid, Spain},
  year =	 1998
}



@Article{Bar03,
  author = 	 {S. Baruah},
  title = 	 {Dynamic- and static-priority scheduling of recurring real-time tasks},
  journal = 	 {Real-Time Systems},
  year = 	 2003,
  volume =	 24,
  number =	 1,
  pages =	 {93-128}
}





@InProceedings{TCS98,
  series = 	 {LNCS 1459},
  author = 	 {S. Tongsima and Chantrapornchai, C. and E. Sha},
  title = 	 {Probabilistic Loop Scheduling Considering Communication Overhead},
  booktitle = 	 {Proc. Workshop on Job Scheduling Strategies for Parallel Processing},
  pages =	 {158--179},
  year =	 1998
}



@Article{MK97,
  author = 	 {A. Munier and J-C. K{\"o}nig},
  title = 	 {A heuristic for a scheduling problem with communication delays},
  journal = 	 {Operations Research},
  year = 	 1997,
  volume =	 45,
  number =	 1,
  pages =	 {145--148}
}



@Article{LVV96,
  author = 	 {J.K. Lenstra and Veldhorst, M. and B. Veltman},
  title = 	 {The complexity of scheduling trees with communication delays},
  journal = 	 {Journal of Algorithms},
  year = 	 1996,
  volume =	 20,
  pages =	 {157--173}
}

@InProceedings{BGK00,
  author = 	 {E. Bampis and Giroudeau, R. and J-C. K{\"o}nig},
  title = 	 {An approximation algorithm for the precedence constrained scheduling problem with hierarchical communications},
  booktitle = 	 {Proc. 17th Annual Symposium on Theoretical Aspects of Computer Science},
  pages =	 {443--454},
  year =	 2000,
  series =	 {LNCS 1770}
}

@TechReport{MR98,
  author = 	 {D. Melski and T. Reps},
  title = 	 {Interprocedural path profiling},
  institution =  {Department of Computer Science, University of Wisconsin, Madison},
  year = 	 1998,
  number =	 {TR-1382},
  month =	 {September},
  note =	 {A shorter version appeared in the Proc. 8th Intl. Conference on Compiler Construction, 1999}
}

@Book{GJ79,
  author =	 {M.R. Garey and D.S. Johnson},
  title = 	 {Computers and Intractability: A Guide to the Theory of NP-Completeness},
  publisher = 	 {W.H. Freeman and Company, New York},
  year = 	 1979
}


@Article{KP98,
  author = 	 {S. Kannan and T. Proebsting},
  title = 	 {Register allocation in structured programs},
  journal = 	 {Journal of Algorithms},
  year = 	 1998,
  volume =	 29,
  number =	 2,
  pages =	 {223--237}
}


@Article{Tho98,
  author = 	 {M. Thorup},
  title = 	 {All structured programs have small tree width and good register allocation},
  journal = 	 {Information and Computation},
  year = 	 1998,
  volume =	 142,
  pages =	 {159--181}
}


@Article{ALT00,
  author = 	 {S. Alstrup and Lauridsen, P.W. and M. Thorup},
  title = 	 {Generalized dominators for structured programs},
  journal = 	 {Algorithmica},
  year = 	 2000,
  volume =	 27,
  pages =	 {244--253}
}


@InProceedings{BGNS99,
  author = 	 {A. Bar-Noy and Guha, S. and Naor, J. and B. Schieber},
  title = 	 {Approximating the throughput of multiple machines in real-time scheduling},
  booktitle = 	 {Proc. 31st Annual ACM Symposium on Theory of Computing},
  pages =	 {622--631},
  year =	 1999
}



@InProceedings{BD00,
  author = 	 {P. Berman and B. Dasgupta},
  title = 	 {Improvements in throughput maximization for real-time scheduling},
  booktitle = 	 {To appear in Proc. 32nd Annual ACM Symposium on Theory of Computing},
  year =	 2000
}



@Article{GPS00,
  author = 	 {S.A. Goldman and Parwatikar, J. and S. Suri},
  title = 	 {Online scheduling with hard deadlines},
  journal = 	 {Journal of Algorithms},
  year = 	 2000,
  volume =	 34,
  pages =	 {370--389}
}



@InProceedings{JLR99,
  author = 	 {A. Jakoby and Li{\'s}kiewicz, M. and R. Reischuk},
  title = 	 {Scheduling dynamic graphs},
  booktitle = 	 {Proc. 16th Annual Symposium on Theoretical Aspects of Computer Science},
  pages =	 {383--392},
  year =	 1999,
  series =	 {LNCS 1563}
}



@Article{BLMSS00,
  author = 	 {Y. Bartal and Leonardi, S. and Marchetti-{S}paccamela, A. and Sgall, J. and L. Stougi},
  title = 	 {Multiprocessor scheduling with rejection},
  journal = 	 {{SIAM} Journal on Discrete Mathematics},
  year = 	 2000,
  volume =	 13,
  number =	 1,
  pages =	 {64--78}
}




@InProceedings{PUW00,
  author = 	 {C.A. Phillips and Uma, R.A. and J. Wein},
  title = 	 {Off-line admission control for general scheduling problems},
  booktitle = 	 {Proc. 11th ACM-SIAM Symposium on Discrete Algorithms},
  year =	 2000
}



@Unpublished{Blieb00,
  author = 	 {J. Blieberger},
  title = 	 {Data-flow frameworks for worst-case execution time analysis},
  note = 	 {To appear in {R}eal-{T}ime {S}ystems}
}



@InProceedings{TCN00,
  author = 	 {L. Thiele and Chakraborty, S. and M. Naedele},
  title = 	 {Real-time calculus for scheduling hard real-time systems},
  booktitle = 	 {Proc. IEEE International Symposium on Circuits and Systems},
  year =	 2000,
  note =	 {Invited paper}
}

@InProceedings{TK88,
  author = 	 {H. Tokuda  and M. Kotera},
  title = 	 {Scheduler 1-2-3: an interactive schedulability analyzer for real-time systems},
  booktitle = 	 {Proceedings the IEEE International Computer Software and Applications Conference},
  publisher = {IEEE Computer Society},
  address = {Chicago},
  year =	 1988,
 }


@inproceedings{Bordoloi06,
  author    = {Unmesh D. Bordoloi and
               Samarjit Chakraborty},
  title     = {Interactive Schedulability Analysis.},
  booktitle = {IEEE Real Time Technology and Applications Symposium},
  publisher = {IEEE Computer Society},
  year      = {2006},
  pages     = {147-156},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/RTAS.2006.22},
  crossref  = {DBLP:conf/rtas/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Hamann04,
  author    = {Arne Hamann and
               Marek Jersak and
               Kai Richter and
               Rolf Ernst},
  title     = {Design Space Exploration and System Optimization with SymTA/S--
               Symbolic Timing Analysis for Systems.},
  booktitle = {RTSS},
  year      = {2004},
  pages     = {469-478},
  ee        = {http://csdl.computer.org/comp/proceedings/rtss/2004/2247/00/22470469abs.htm},
  crossref  = {DBLP:conf/rtss/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Esser01,
    author = {Robert Esser and J�rn W. Janneck},
    title = {Moses: A tool suite for visual modeling of
              discrete-event systems},
    booktitle = {Symposia on Human-Centric Computing},
    organization = {IEEE Computer Society},
    pages = {272-279},
    month = {September},
    year = {2001},
    URL = {http://www.gigascale.org/pubs/288.html}
}

@inproceedings{Amnell02,
  author    = {Tobias Amnell and
               Elena Fersman and
               Leonid Mokrushin and
               Paul Pettersson and
               Wang Yi},
  title     = {TIMES - A Tool for Modelling and Implementation of Embedded
               Systems.},
  booktitle = {TACAS},
  year      = {2002},
  pages     = {460-464},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2280/22800460.htm},
  crossref  = {DBLP:conf/tacas/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Liu73,
    author = {C. L. Liu and James W. Layland},
    title = {Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment},
    journal = {Journal of the ACM},
    volume = {20},
    number = {1},
    pages = {46--61},
    year = {1973}
 }

@inproceedings{Racu05,
  author    = {Razvan Racu and
               Marek Jersak and
               Rolf Ernst},
  title     = {Applying Sensitivity Analysis in Real-Time Distributed Systems.},
  booktitle = {Real-Time and Embedded Technology and Applications
               Symposium (RTAS)},
  year      = {2005},
}

@inproceedings{Racu06,
  author    = {Razvan Racu and
               Arne Hamann and
               Rolf Ernst},
  title     = {A Formal Approach to Multi-Dimensional Sensitivity Analysis of
Embedded Real-Time Systems.},
  booktitle = {Euromicro Conference on Real-Time Systems (ECRTS)},
  year      = {2006},
}
@inproceedings{Punnekkat97,
 author = {Sasikumar Punnekkat and Robert Davis and Alan Burns},
 title = {Sensitivity Analysis of Real-Time Task Sets},
 booktitle = {Asian Computing Science Conference on Advances in Computing Science (ASIAN)},
 year = {1997},
 }

@inproceedings{Bini06,
  author    = {Enrico Bini and
               Marco Di Natale and
               Giorgio C. Buttazzo},
  title     = {Sensitivity Analysis for Fixed Priority Real-Time Systems},
  booktitle = {Euromicro Conference on Real-Time Systems (ECRTS)},
  year      = {2006}
}

@book{KPBook,
  author    = {H. Kellerer and U. Pferschy and D. Pisinger},
  title     = {Knapsack problems},
  publisher = {Springer},
  year      = {2004}
}

@inproceedings{Erlebach01,
 author = {Thomas Erlebach and Hans Kellerer and Ulrich Pferschy},
 title = {Approximating Multi-objective Knapsack Problems},
 booktitle = {WADS '01: Proceedings of the 7th International Workshop on Algorithms and Data Structures},
 year = {2001},
 isbn = {3-540-42423-7},
 pages = {210--221},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@inproceedings{Papadimitriou00,
 author = {C. H. Papadimitriou and M. Yannakakis},
 title = {On the approximability of trade-offs and optimal access of Web sources},
 booktitle = {FOCS},
 year = {2000},
 }

@Article{Bordoloi06b,
  author    = {Unmesh D. Bordoloi and
               Samarjit Chakraborty},
  title     = {Interactive Schedulability Analysis},
  journal = {ACM Transactions on Embedded Computing Systems, (Under Revision)},
}

@inproceedings{ Frank94,
    author = {Mueller, Frank and Whalley, David},
    title = {{O}n {D}ebugging {R}eal-{T}ime {A}pplications},
    booktitle = {{ACM} {SIGPLAN} Workshop on Language, Compiler, and Tool Support for Real-Time Systems},
    month = {June},
    year = {1994}
}

@inproceedings{Albertsson00,
    author = {Lars Albertsson and Peter S. Magnusson},
    title = {Using Complete System Simulation for Temporal Debugging of General Purpose Operating Systems and Workload},
    booktitle = {{MASCOTS}},
    pages = {191-198},
    year = {2000},
    url = {citeseer.ist.psu.edu/albertsson00using.html}
}


@inproceedings{Vissers99,
 author = {Kees A. Vissers and Pieter van der Wolf and Gert-Jan van Rootselaar},
 note = {Chairman-Rolf Ernst},
 title = {System level design and debug of high-performance embedded media systems (embedded tutorial)},
 booktitle = {ICCAD '99: Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design},
 year = {1999},
 isbn = {0-7803-5832-5},
 pages = {461},
 location = {San Jose, California, United States},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},
 }

@inproceedings{Arora98,
 author = {Gaurav Arora and David B. Stewart},
 title = {A Tool to Assist in Fine-Tuning and Debugging Embedded Real-Time Systems},
 booktitle = {LCTES '98: Proceedings of the  ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems},
 year = {1998},
 isbn = {3-540-65075-X},
 pages = {83--97},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }


@inproceedings{David96,
 author = {David B. Stewart and Gaurav Arora},
 title = {Dynamically Reconfigurable Embedded Software - Does It Make Sense?},
 booktitle = {IEEE Intl. Conf. on Engineering of Complex Computer Systems and Real-Time Applications Workshop},
 year = {1996},
 pages = {	217-220},
 address = {Montreal, Canada},
 }

@inproceedings{David99,
 author = {David B. Stewart and Robert A. Brown},
 title = {Grand Challenges in Mission-Critical Systems: Dynamically Reconfigurable Real-Time Software for Flight Control Systems},
 booktitle = {Workshop on Real-Time Mission-Critical Systems in conjunction with the 1999 Real-Time Systems Symposium},
 year = {1999},
 address = {Phoenix, AZ},
 }

@article{Steve94,
 author = {S. Vestal},
 title = {Fixed-Priority Sensitivity Analysis for Linear Compute Time Models},
 journal = {IEEE Trans. Softw. Eng.},
 volume = {20},
 number = {4},
 year = {1994},
 issn = {0098-5589},
 pages = {308--317},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},
 }

@MISC{edageek06,
author = {Ken Cheung},
 title = {Embedded Systems Survey Reveal Debugging is Top Problem},
 year = {2006},
 month = {May},
  howpublished = "\url{http://edageek.com}",
 }

@inproceedings{Stephan05,
 author = {Stephan Diehl},
 title = {Software visualization},
 booktitle = {ICSE '05: Proceedings of the 27th international conference on Software engineering},
 year = {2005},
 isbn = {1-59593-963-2},
 pages = {718--719},
 location = {St. Louis, MO, USA},
 doi = {http://doi.acm.org/10.1145/1062455.1062634},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@InProceedings{Stephan02,
  author =       {Stephan Diehl (editor)},
  title =        {Software Visualization},
  publisher = {Springer Verlag},
  series    = {Lecture Notes in Computer Science},
  volume    = {2269},
  year =         {2002},
}

@article{Lehr89,
 author = {T. Lehr and Z. Segall and D. F. Vrsalovic and E. Caplan and A. L. Chung and C. E. Fineman},
 title = {Visualizing Performance Debugging},
 journal = {Computer},
 volume = {22},
 number = {10},
 year = {1989},
 issn = {0018-9162},
 pages = {38--51},
 doi = {http://dx.doi.org/10.1109/2.42013},
 publisher = {IEEE Computer Society Press},
 address = {Los Alamitos, CA, USA},
 }
@article{Heath91,
  author    = {Michael T. Heath and
               Jennifer A. Etheridge},
  title     = {Visualizing the Performance of Parallel Programs.},
  journal   = {IEEE Software},
  volume    = {8},
  number    = {5},
  year      = {1991},
  pages     = {29-39},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Sergei05,
 author = {Sergei Vassilvitskii and Mihalis Yannakakis},
 title = {Efficiently computing succinct trade-off curves},
 journal = {Theoritical Computer Science},
 volume = {348},
 number = {2},
 year = {2005},
 }

@inproceedings{Arnold,
   author =   "M. Arnold and H. Corporaal",
   title =   "Designing domain-specific processors",
   booktitle =   "CODES",
   year =   "2001",
}
@inproceedings{Atasu,
   author =   "K. Atasu and L. Pozzi and P. Ienne",
   title =   "Automatic application-specific instruction-set extensions under microarchitectural constraints",
   booktitle =   "DAC",
   year =   "2003",
}

@inproceedings{Clark,
   author =   "N. Clark and H. Zhong and S. Mahlke",
   title =   "Processor acceleration through automated instruction set customization",
   booktitle =   "MICRO",
   year =   "2003",
}
@inproceedings{Cong,
   author = {J. Cong and Y. Fan and G. Han and Z. Zhang},
 title = {Application-specific instruction generation for configurable processor architectures},
 booktitle = {FPGA},
 year = {2004},
}

@article{kastner,
author = {R. Kastner and A. Kaplan and S. O. Memik and E. Bozorgzadeh},
 title = {Instruction generation for hybrid reconfigurable systems},
 journal = {TODAES},
 volume = {7},
 number = {4},
 year = {2002},
 pages = {605--627}
 }

@inproceedings{Cheung,
author = {N. Cheung and S. Parameswaran and J. Henkel},
title = {{INSIDE}: {IN}struction {S}election/{I}dentification \& {D}esign {E}xploration for Extensible Processors},
booktitle = "ICCAD",
year = 2002,
}

@inproceedings{Lee,
author = {J. Lee and K. Choi and N. Dutt},
title = {Efficient Instruction Encoding for Automatic Instruction Set Design
of Configurable {ASIP}s},
booktitle = "ICCAD",
year = 2002
}
@inproceedings{Lars,
 author = {L. Bauer and M. Shafique and S. Kramer and J. Henkel},
 title = {{RISPP}: {R}otating instruction set processing platform},
 booktitle = {Proceedings of the 44th ACM/IEEE Design Automation Conference (DAC)},
 pages = "791--796",
 year = 2007
}

@article{JansenTC2003,
author = {Jansen, K. and Solis-Oba, R.},
 title = {An asymptotic fully polynomial time approximation scheme for bin covering},
 journal = {Theor. Comput. Sci.},
 volume = {306},
 number = {1-3},
 year = {2003}
 }
% pages = {605--627}}
%@article{JansenTC2003,
 %author = {Jansen, K. and Solis-Oba, R.},
 %title = {An asymptotic fully polynomial time approximation scheme for bin covering},
 %journal = {Theor. Comput. Sci.},
 %volume = {306},
 %issue = {1-3},
 %year = {2003}
%} 

@article{LabbeOR1995,
 author = {M. Labbe and G. Laporte and S. Martello},
 title = {An exact algorithm for the dual bin packing problem},
 journal = {Operations Research Letters},
 volume = {17},
 number = {1},
 year = {1995}
 }
